Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
581	A Variadic Extension of Curry’s Fixed-Point Combinator Mayer Goldberg ()∗ Department of Computer Science Ben Gurion University, Beer Sheva 84105, Israel Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:29 Lambda calculus Subroutines Recursion Higher-order functions Functional programming Fixed-point combinator Variadic function Combinatory logic Fold Software engineering Computing Declarative programming
582	A Rewrite System for Strongly Normalizable Terms Olivier Hermant1 and Ronan Saillard1,2 1 2 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-02-16 03:50:46 Logic in computer science Proof theory Symbol Function Lambda calculus Combinatory logic Natural deduction Mathematics Mathematical logic Theoretical computer science
583	Any sound ecological perspective rests in great part on our social perspectives and interrelationships; hence to draw up an ecological agenda that has no room for social concerns is as obtuse as to draw up a social agend Add to Reading List Source URL: trapese.clearerchannel.org Language: English - Date: 2010-11-02 16:24:04 Earth Environmental social science Economic development Sustainable development Totnes Transition Towns Sustainability Straight Up Lambda calculus Environment Environmentalism Climate change
584	rKanren Guided Search in miniKanren Cameron Swords Daniel P. Friedman Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-01-13 20:04:14 Lambda calculus Theoretical computer science Weight Mathematics Applied mathematics Abstract algebra Models of computation Computability theory
585	A Theory of Hygienic Macros David Herman and Mitchell Wand College of Computer and Information Science Northeastern University Boston, MA 02115 {dherman,wand}@ccs.neu.edu Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2007-10-15 14:26:08 Transformation languages Macro programming languages Dylan programming language Hygienic macro Meta-programming Scheme programming language Macro Lambda calculus Model theory Computing Software engineering Computer programming
586	Towards explicit rewrite rules in the λΠ-calculus modulo Ronan Saillard MINES ParisTech Fontainebleau, France Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-27 09:23:05 Mathematics Lambda calculus Type theory Dependently typed programming Unification Twelf Rewriting Calculus of constructions Normalization property Theoretical computer science Logic in computer science Applied mathematics
587	Control in the π-Calculus [Extended Abstract] 1. Kohei Honda Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2004-01-11 10:44:35 Mathematical logic Lambda calculus Logic in computer science Models of computation Curry–Howard correspondence Natural deduction Symbol Valuation Π-calculus Mathematics Proof theory Theoretical computer science
588	Certain Answers as Objects and Knowledge Leonid Libkin School of Informatics, University of Edinburgh Abstract The standard way of answering queries over incomplete Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-03-01 15:00:03 Model theory Relational model FO Function Closed world assumption Lambda calculus SQL Interpretation Structure Mathematical logic Mathematics Logic
589	Type and Eect Systems via Abstract Interpretation Jer^ome Vouillon Pierre Jouvelot CRI, Ecole des Mines de Paris fvouillon, Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2008-04-10 10:30:23 Formal methods Order theory Logic in computer science Models of computation Lambda calculus Abstract interpretation Interpretation Galois connection Type system Mathematics Theoretical computer science Logic
590	Gradual Typing for Functional Languages Jeremy G. Siek Walid Taha University of Colorado Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:16 Models of computation Type theory Symbol Dynamical system Lambda calculus Type safety Programming Computable Functions Normalisation by evaluation Theoretical computer science Computer science Software engineering

UPDATE